Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

The null-type is a major source of faults in Java programs, and its overuse has a severe impact on software maintenance. Unfortunately traditional mutation testing operators do not cover null-type faults by default, hence cannot be used as a preventive measure. We address this problem by designing four new mutation operators which model null-type faults explicitly. We show how these mutation operators are capable of revealing the missing tests, and we demonstrate that these mutation operators are useful in practice. For the latter, we analyze the test suites of 15 open-source projects to describe the trade-offs related to the adoption of these operators to strengthen the test suite

Mutation Testing as a Safety Net for Test Code Refactoring

Refactoring is an activity that improves the internal structure of the code without altering its external behavior. When performed on the production code, the tests can be used to verify that the external behavior of the production code is preserved. However, when the refactoring is performed on test code, there is no safety net that assures that the external behavior of the test code is preserved. In this paper, we propose to adopt mutation testing as a means to verify if the behavior of the test code is preserved after refactoring. Moreover, we also show how this approach can be used to identify the part of the test code which is improperly refactored

LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mutant subsumption analysis. There is no tool today available with all these features that is able to work with typical industrial software systems.Comment: Pre-proceedings of the 7th IPM International Conference on Fundamentals of Software Engineerin

Atlas construction and image analysis using statistical cardiac models

International audienceThis paper presents a brief overview of current trends in the construction of population and multi-modal heart atlases in our group and their application to atlas-based cardiac image analysis. The technical challenges around the construction of these atlases are organized around two main axes: groupwise image registration of anatomical, motion and fiber images and construction of statistical shape models. Application-wise, this paper focuses on the extraction of atlas-based biomarkers for the detection of local shape or motion abnormalities, addressing several cardiac applications where the extracted information is used to study and grade different pathologies. The paper is concluded with a discussion about the role of statistical atlases in the integration of multiple information sources and the potential this can bring to in-silico simulations

Cardiac T1 Mapping and Extracellular Volume (ECV) in clinical practice: a comprehensive review.

Cardiovascular Magnetic Resonance is increasingly used to differentiate the aetiology of cardiomyopathies. Late Gadolinium Enhancement (LGE) is the reference standard for non-invasive imaging of myocardial scar and focal fibrosis and is valuable in the differential diagnosis of ischaemic versus non-ischaemic cardiomyopathy. Diffuse fibrosis may go undetected on LGE imaging. Tissue characterisation with parametric mapping methods has the potential to detect and quantify both focal and diffuse alterations in myocardial structure not assessable by LGE. Native and post-contrast T1 mapping in particular has shown promise as a novel biomarker to support diagnostic, therapeutic and prognostic decision making in ischaemic and non-ischaemic cardiomyopathies as well as in patients with acute chest pain syndromes. Furthermore, changes in the myocardium over time may be assessed longitudinally with this non-invasive tissue characterisation method

Echocardiographic prediction of outcome after cardiac resynchronization therapy: conventional methods and recent developments

Echocardiography plays an important role in patient assessment before cardiac resynchronization therapy (CRT) and can monitor many of its mechanical effects in heart failure patients. Encouraged by the highly variable individual response observed in the major CRT trials, echocardiography-based measurements of mechanical dyssynchrony have been extensively investigated with the aim of improving response prediction and CRT delivery. Despite recent setbacks, these techniques have continued to develop in order to overcome some of their initial flaws and limitations. This review discusses the concepts and rationale of the available echocardiographic techniques, highlighting newer quantification methods and discussing some of the unsolved issues that need to be addressed

Dosimetry tools and techniques for IMRT

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/98734/1/MPH001313.pd